Stomp, Frank: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Correctness of substring-preprocessing in Boyer–Moore's pattern matching algorithm

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 162 KB

english, 2003

2

Cache Coherency in SCI: Specification and a Sketch of Correctness

Amy Felty, Frank Stomp

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 186 KB

english, 1999

3

Safety assurance via on-line monitoring

Shlomi Dolev, Frank Stomp

Journal:

Distributed Computing

Year:

2003

Language:

english

File:

PDF, 166 KB

english, 2003

4

A Complete Mechanization of Correctness of a String-Preprocessing Algorithm

Milos Besta, Frank Stomp

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 1024 KB

english, 2005

5

[ACM Press the fifteenth annual ACM symposium - Philadelphia, Pennsylvania, United States (1996.05.23-1996.05.26)] Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96 - Constructing a reliable test&set bit

Stomp, Frank, Taubenfeld, Gadi

Year:

1996

Language:

english

File:

PDF, 100 KB

english, 1996

6

Local denervation of lumbar paraspinal muscles may not be used as a criterion for the effectivity of radiofrequency lesions of the zygapophyseal joints

Barendse, Gerard A.M., Spaans, Frank, Stomp-Van Den Berg, Suzanne, Weber, Wilhelm E.J., Kessels, Alfons, Van Kleef, Maarten

Journal:

The Pain Clinic

Year:

2001

Language:

english

File:

PDF, 262 KB

english, 2001